Total Books: 61 - 64 /64
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling
This book constitutes the refereed proceedings of the 4th International Conference on Virtual Storytelling, ICVS 2007, held ...
Weiterlesen
Web Services and Formal Methods
This volume contains the proceedings ofthe international workshop WS-FM(Web Services and Formal Methods) held at Vienna University ...
Weiterlesen
Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Weiterlesen
Workflows for e-Science
Workflows for e-Science presents an overview of the current state of the art in the field. It brings together research from ...
Weiterlesen
